A note on the monotone functional interpretation
نویسنده
چکیده
We prove a result relating the author’s monotone functional interpretation to the bounded functional interpretation due to Ferreira and Oliva. More precisely we show that (over model of majorizable functionals) largely a solution for the bounded interpretation also is a solution for monotone functional interpretation although the latter uses the existence of an underlying precise witness. This makes it possible to focus on the extraction of bounds (as in the bounded interpretation) while using the conceptual benefit of having precise realizers at the same time without having to construct them.
منابع مشابه
Hybrid Functional Interpretations of Linear and Intuitionistic Logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting of a multi-modal linear logic. Functional interpretations of intuitionistic logic can be combined via Girard’s embedding of intuitionistic logic into linear logic. We first show how to combine the usual Kreisel’s modifi...
متن کاملUnifying Functional Interpretations
The purpose of this article is to present a parametrised functional interpretation. Depending on the choice of the parameter relations one obtains well-known functional interpretations, such as Gödel’s Dialectica interpretation, Diller-Nahm’s variant of the Dialectica interpretation, Kohlenbach’s monotone interpretations, Kreisel’s modified realizability and Stein’s family of functional interpr...
متن کاملProof Interpretations and Majorizability
In the last fifteen years, the traditional proof interpretations of modified realizability and functional (dialectica) interpretation in finite-type arithmetic have been adapted by taking into account majorizability considerations. One of such adaptations, the monotone functional interpretation of Ulrich Kohlenbach, has been at the center of a vigorous program in applied proof theory dubbed pro...
متن کاملStochastic differential inclusions of semimonotone type in Hilbert spaces
In this paper, we study the existence of generalized solutions for the infinite dimensional nonlinear stochastic differential inclusions $dx(t) in F(t,x(t))dt +G(t,x(t))dW_t$ in which the multifunction $F$ is semimonotone and hemicontinuous and the operator-valued multifunction $G$ satisfies a Lipschitz condition. We define the It^{o} stochastic integral of operator set-valued stochastic pr...
متن کاملA Note on Belief Structures and S-approximation Spaces
We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempsterchr('39')s multivalued mappings and lower and upper probabilities, and have close relations to rough sets. We show that an S-approximation space, satisfying a monotonicity condition, can induce a natural belief structure which is a fundamental block in evidence theory...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 57 شماره
صفحات -
تاریخ انتشار 2011